Correct a deprecation note

The CSS equivalent for focus-padding is outline-offset.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index a7048ff6ab5c1db02ffd4ed5e62e2ec8b3f3cd3c..b7346e1f634decb3907b8e1fc2d28245c918d8b6 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3484,7 +3484,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * The "focus-padding" style property defines the width, in pixels,
    * between focus indicator and the widget 'box'.
    *
-   * Deprecated: 3.14: use the padding CSS properties instead.
+   * Deprecated: 3.14: use the outline-offset CSS properties instead.
    */
   gtk_widget_class_install_style_property (klass,
                                           g_param_spec_int ("focus-padding",